Ed Lucas - PDFSEARCH.IO - Document Search Engine

Ed Lucas
Results: 61

#	Item
21	Scheme-based Definition and Conjecture Synthesis for Inductive Theories Omar Montano, Roy McCasland, Lucas Dixon, Alan Bundy School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburg Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-11 12:19:03 Artificial intelligence Automated theorem proving Alan Bundy Automated reasoning Theorem Theory Informatics Mathematics Mathematical proof Scheme
22	Concepts and Categories II Informatics 1 CG: Lecture 16 Chris Lucas Concepts and Categories Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2016-02-23 08:51:48 Semantics Cognitive science Abstraction Ontology Psychological theories Categorization Prototype theory Theory Category of being Scientific theory Concept Exemplar theory
23	TOWARDS PROOF SCRIPT REFACTORING DAVID ASPINALL, LUCAS DIXON, IAIN WHITESIDE 1. Introduction In software engineering, a refactoring is a semantics preserving restructuring operation ‘that support[s] the design, evoluti Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-01-09 06:40:19 Extreme programming Code refactoring Mathematical proof Isabelle
24	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-02-21 13:20:56 Logic programming Constraint programming Logical consequence Statements Theorem Unification Lambda calculus Constraint logic programming Constraint satisfaction
25	Open Graphs and Computational Reasoning Lucas Dixon Ross Duncan, Aleks Kissinger University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-07-22 02:41:41
26	Higher Order Rippling in IsaPlanner Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK {lucas.dixon, jacques.fleuriot}@ed.ac.uk Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-01-25 09:28:59 Automated theorem proving Heuristics Rippling Economy Money E-commerce IsaPlanner Reference Ripple Mathematical proof Annotation Planner
27	Monoidal Categories, Graphical Reasoning, and Quantum Computation Lucas Dixon and Aleks Kissinger CAM-CAD 2009 Abstract Graphs provide a natural mechanism for visualising many algebraic Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2009-11-09 14:29:26
28	Plans, Actions and Dialogues using Linear Logic Lucas Dixon, Alan Smaill, Tracy Tsang Preprint: 20 Feb 2009 Abstract We describe how Intuitionistic Linear Logic can be used to provide a unified logical account Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2009-02-20 08:55:52
29	Best-First Rippling Moa Johansson, Alan Bundy and Lucas Dixon 1 School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-10 06:07:20 Automated theorem proving Mathematics Theoretical computer science Search algorithms Heuristics Rippling Logic IsaPlanner Formal languages Logic in computer science A* search algorithm Mathematical proof
30	IsaCoSy: Synthesis of Inductive Theorems Moa Johansson, Lucas Dixon, and Alan Bundy University of Edinburgh Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. {moa.johansson, l.dixon, a.bundy}@ed.ac.uk Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-02-11 12:51:44 Automated theorem proving Logic Mathematics Mathematical logic Rippling Theorem Mathematical proof Isabelle Proof assistant

UPDATE